21. Computability and logic
پدیدآورنده: George Boolos, Richard Jeffrey
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع: Computable functions,Recursive functions
رده :
511
.
3
B724C
22. Computability and logic
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
23. Computability and logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
24. Computability and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
25. Computability and logic
پدیدآورنده: Boolos, George S., 0491-6991
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
26. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
27. Computability and unsolvability
پدیدآورنده: Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
رده :
QA
9
.
615
.
D38
1982
28. Computability and unsolvability
پدیدآورنده: / Martin Davis
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Recursive functions
رده :
QA
248
.
5
.
D3
29. Computability theory: an introduction
پدیدآورنده : Jones, Neil D.
موضوع : ، Recursive functions,، Turing machines
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
30. Computability & unsolvability
پدیدآورنده : Davis, Martin
موضوع : ، Recursive functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
31. Computability & unsolvability
پدیدآورنده: DAVIS,MARTIN DAVID
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS
رده :
QA
9
.
615
.
D38
32. Computability & unsolvability
پدیدآورنده: DAVIS,MARTIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS
رده :
QA
9
.
615
.
D38
1982
33. Computability with pascal
پدیدآورنده: Mallozzi, John s.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(
رده :
QA
9
.
59
.
M34
1984
34. Computations in higher types
پدیدآورنده: Moldestad, Johan
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions
رده :
QA
3
.
L28
no
.
574
35. Computations in higher types
پدیدآورنده : Moldestad, Johan
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
36. Computations in higher types
پدیدآورنده: Moldestad, Johan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Recursive functions
رده :
QA
1
.
L4
v
.
574
37. Computations in higher types
پدیدآورنده: Moldestad, Johan, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions
رده :
QA
3
.
L28
Vol
.
574
38. Computations in higher types, Lecture notes in mathematics
پدیدآورنده: Moldestad, Johan,6491-, Johan Moldestad
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Recursive functions
رده :
QA
3
.
M6C6
1977
39. Degrees of unsolvability
پدیدآورنده: Sacks, Gerald E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
S2
1966
40. Degrees of unsolvability
پدیدآورنده: / by Joseph R. Shoenfield
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical,Recursive functions
رده :
511
Sh-D
